On Specifying Real-Time Systems in a Causality-Based Setting
نویسندگان
چکیده
Event structures are a promi nent noni nterl eavi ng model for con-currency. Real-ti me event structures associ ate a set of ti me i nstants to events, model l i ng absol ute ti me constrai nts, and to causal dependenci es,model l i ng rel a-ti ve del ays betweencausal l y dependentevents. We i ntroduce thi s novel temporal model and show how i t can be used to provi de a denotati onal semanti cs to a real-ti me vari ant of a process al gebra aki n to LOTOS. Thi s formal i sm i ncl udes a ti med-acti on preex whi ch constrai ns the occurrence ti me of acti ons, a ti me-out and watchdog (i .e., ti med i nterrupt) operator. An event-based operati onal semanti cs for thi s formal i sm i s presented that i s shown to be consi stent wi th the denotati onal semanti cs. As an exampl e we use an i nnni te buuer wi th ti me constrai nts on the message l atency and the rates of accepti ng and produci ng data. Timedextensi onsofi nterl eavi
منابع مشابه
CMDTS: The Causality-based Medical Diagnosis and Treatment System
Our medical world is replete with clinical data but this data is rarely automatically exploited for bringing more health to our society. Many researches have been conducted in Medical Data Mining, but almost all of them have focused on diagnosing the diseases not treating the patients. In this paper we propose the Causality-based Medical Diagnosis and Treatment System, which can be used to diag...
متن کاملCMDTS: The Causality-based Medical Diagnosis and Treatment System
Our medical world is replete with clinical data but this data is rarely automatically exploited for bringing more health to our society. Many researches have been conducted in Medical Data Mining, but almost all of them have focused on diagnosing the diseases not treating the patients. In this paper we propose the Causality-based Medical Diagnosis and Treatment System, which can be used to diag...
متن کاملReal-Time intrusion detection alert correlation and attack scenario extraction based on the prerequisite consequence approach
Alert correlation systems attempt to discover the relations among alerts produced by one or more intrusion detection systems to determine the attack scenarios and their main motivations. In this paper a new IDS alert correlation method is proposed that can be used to detect attack scenarios in real-time. The proposed method is based on a causal approach due to the strength of causal methods in ...
متن کاملMonetary Policy Cyclicality, Industrial Output and Economic Growth Interactions in Nigeria
T his paper examined whether monetary policy is acyclical, procyclical or countercyclical and the implications of the interaction of such cyclicality with industrial output on real economic growth in Nigeria. After determining the time series properties of the variables and based on conventional cyclicality measures, the fully modified ordinary least square method was used to examine...
متن کاملDesign and Evaluation of a Method for Partitioning and Offloading Web-based Applications in Mobile Systems with Bandwidth Constraints
Computation offloading is known to be among the effective solutions of running heavy applications on smart mobile devices. However, irregular changes of a mobile data rate have direct impacts on code partitioning when offloading is in progress. It is believed that once a rate-adaptive partitioning performed, the replication of such substantial processes due to bandwidth fluctuation can be avoid...
متن کاملThe Impact of Exchange Rate and Investor Confidence Uncertainty on Monetary and Economic Uncertainty in Iran
Failure to timely identify the occurrence of various shocks in the foreign exchange market due to the close relationship with the monetary, macroeconomic, and financial uncertainty can lead to crises and imbalances. In this paper, the effect of exchange rate and investor confidence on monetary and economic uncertainty in Iran is investigated, specifying a Multivariate GARCH model and the Grange...
متن کامل